Näytetään tulokset 1 - 10 / 28424
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Predictive runtime enforcement

Vertaisarvioitu
DOI
10.1007/s10703-017-0271-1
Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand,...
Formal Methods in System Design2017 Julkaisujen tiedon ikoni

Predictive runtime enforcement

Vertaisarvioitu
DOI
10.1145/2851613.2851827
Pinisetty, Srinivas; Jéron, Thierry; Preoteasa, Viorel; Falcone, Yliès; Tripakis, Stavros; Marchand,...
ACM Symposium On Applied Computing
2016 Julkaisujen tiedon ikoni

Runtime enforcement of cyber-physical systems

Vertaisarvioitu
DOI
10.1145/3126500
Pinisetty, Srinivas; Roop, Partha S.; Smyth, Steven; Allen, Nathan; Tripakis, Stavros; Von Hanxleden...
ACM Transactions on Embedded Computing Systems2017 Julkaisujen tiedon ikoni

Runtime enforcement of reactive systems using synchronous enforcers

Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
Pinisetty, Srinivas; Roop, Partha; Smyth, Steven; Tripakis, Stavros; Hanxleden, Reinhard von
International Symposium on Model Checking Software2017 Julkaisujen tiedon ikoni

Predictive runtime verification of timed properties

Vertaisarvioitu
DOI
10.1016/j.jss.2017.06.060
Pinisetty, Srinivas; Jéron, Thierry; Tripakis, Stavros; Falcone, Yliès; Marchand, Hervé; Preoteasa, ...
Journal of Systems and Software2017 Julkaisujen tiedon ikoni

Runtime enforcement of regular timed properties by suppressing and delaying events

Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Pinisetty, Srinivas
Science of Computer Programming2016 Julkaisujen tiedon ikoni

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-29852-4_33
A Sadovykh; Dragos Truscan; W Afzal; H Bruneliere; Adnan Ashraf; A Gómez; A Espinosa; G Widforss; P ...
Software Technology: Methods and Tools2019 Julkaisujen tiedon ikoni

Compositional runtime enforcement

Vertaisarvioitu
DOI
10.1007/978-3-319-40648-0_7
Pinisetty, Srinivas; Tripakis, Stavros
Lecture Notes in Computer Science2016 Julkaisujen tiedon ikoni

A framework for runtime verification of industrial process control systems

Vertaisarvioitu
DOI
10.1109/INDIN.2017.8104856
Savolainen, Roope; Sierla, Seppo; Karhela, Tommi; Miettinen, Tuomas; Vyatkin, Valeriy
IEEE International Conference on Industrial Informatics2017 Julkaisujen tiedon ikoni

Runtime environment for embedded microcontrollers

DOI
10.1016/0141-9331(87)90393-0
Pulli, Petri
Microprocessors and Microsystems1987

Predictive runtime enforcement

Vertaisarvioitu
DOI
10.1007/s10703-017-0271-1
2017

Predictive runtime enforcement

Vertaisarvioitu
DOI
10.1145/2851613.2851827
2016

Runtime enforcement of cyber-physical systems

Vertaisarvioitu
DOI
10.1145/3126500
2017

Runtime enforcement of reactive systems using synchronous enforcers

Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3092282.3092291
2017

Predictive runtime verification of timed properties

Vertaisarvioitu
DOI
10.1016/j.jss.2017.06.060
2017

Runtime enforcement of regular timed properties by suppressing and delaying events

Vertaisarvioitu
DOI
10.1016/j.scico.2016.02.008
2016

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-030-29852-4_33
2019

Compositional runtime enforcement

Vertaisarvioitu
DOI
10.1007/978-3-319-40648-0_7
2016

A framework for runtime verification of industrial process control systems

Vertaisarvioitu
DOI
10.1109/INDIN.2017.8104856
2017

Runtime environment for embedded microcontrollers

DOI
10.1016/0141-9331(87)90393-0
1987